Modellierung und Enactment mit ESSENCE
نویسندگان
چکیده
Komplexe Softwareentwicklungsmethoden entstehen selten in einem Zug und sind danach unveränderlich, sondern werden schrittweise erstellt und kontinuierlich verbessert. Der konkrete Projektfortschritt muss durch sie messbar sein, aber gleichzeitig muss das Vorgehen projektspezifisch adaptierbar bleiben. Vor dem Hintergrund dieser Anforderungen wurde von der SEMAT-Initiative ESSENCE entwickelt, das den agilen Umgang mit Softwareentwicklungsmethoden besser ermöglichen soll als mit den bisher verfügbaren Ansätzen. Dieser Beitrag stellt die Kernkonzepte von ESSENCE vor.
منابع مشابه
Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP
Formale Modellierung und Analyse von netzwerkbasierten Angriffen ermöglichen zwar ein tieferes Verständnis von Angriffsfolgen, sind aber meist so komplex, dass die Modellierung sehr aufwändig und eine Analyse mit automatischen Werkzeugen aufgrund der Größe des Zustandsraumes unmöglich ist. Wir stellen einen Ansatz vor, der Modelle für praxisrelevante Angriffe und Szenarien mit vertretbarem Aufw...
متن کاملModellierung des Fahrzeugs als intelligenter Client im IT Netzwerk
Die heutigen Fahrzeuge sind ein in Mechanik und Elektronik eingebettetes IT System, das immer anspruchvoller wird. Schon jetzt kommunizieren die Fahrzeuge mit externen Systemen, insbesondere mit IT Systemen der Hersteller und der Anbieter von Serviceund InformationsDiensten. Die zunehmende IT Vernetzung des Fahrzeugs mit der Außenwelt bietet erhebliche Potentiale für den Kunden aber auch für He...
متن کاملObjektorientierte Modellierung, Simulation und Regelung dynamischer Systeme am Beispiel eines Oxyfuel-Kraftwerksprozesses (An Oxyfuel-Power-Plant as an Example for Object Oriented Modelling, Simulation and Control of Dynamic Systems)
Dieser Beitrag befasst sich mit der objektorientierten Modellierung, Simulation und Regelung dynamischer, technischer Systeme. Am Beispiel des Rauchgaskreislaufs eines Oxyfuel-Prozesses werden dabei die Stärken und Besonderheiten der Modellierung mit der objektorientierten Beschreibungssprache Modelica aus Sicht der Regelungstechnik aufgezeigt. Zur Modellierung der thermodynamischen Zusammenhän...
متن کاملModellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines
• Durch die starke Vernetzung ehemals unabhängiger Funktionen ergeben sich ungewollte Interaktionen und Seiteneffekte durch Nebenläufigkeit. Als Beispiel sei hier die Zentralverriegelung genannt, die neben der reinen Funktionalität des Verund Aufschließens mit Komfortfunktionen zum Einstellen von Sitz, Spiegeln und Radiosendern in Abhängigkeit vom verwendeten Schlüssel, mit Sicherheitsfunktione...
متن کاملModellierung von Funktionsnetzen mit UML-RT: Erfahrungen aus einem Automobilprojekt zur Entwicklung sicherheitsrelevanter Systeme
Dieser Vortrag stellt die SW-Entwicklung für sicherheitsrelevante Systeme anhand eines Beispielprojektes aus der Automobilindustrie vor. Dieses BMW-Vorentwicklungsprojekt aus der Domäne der Fahrwerksregelelektronik beschäftigt sich mit der Entwicklung von HWund SW-Architekturen, mit einer neuen Bustechnologie (FlexRay) zur sicheren Datenkommunikation, mit der Realisierung einer sicheren Energie...
متن کامل